Voting, vote capture & vote counting symposium

نویسندگان

  • L. Jean Camp
  • Warigia Bowman
  • Allan Friedman
چکیده

Elections, and enfranchisement of citizens, are a foundational element of democracy, yet the implementation of elections in terms of both technology and process varies widely. [1] New voting technologies offer promise yet create new risks; and the process and technology must be simultaneously adopted and crafted. In order to explore both the promise and the risk, a Symposium at the Kennedy School of Government was convened. The attendees for this event included technologists, election officials, political scientists, policy analysts, notable press experts, and activists. From that Symposium the authors developed a set of policy and technology best practices. [2] This highlights document reports those practices.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

An Improved Dynavote E-Voting Protocol Implementation

Electronic voting—the use of computers or computerized voting equipment to cast and tabulate and tally ballots in an election in a trustable manner—is a pillar of e-Government. The DynaVote voting protocol system proposed by Cetinkaya and Koc (2007) is assumed secure and practicable on a network. However, the DynaVote e-Voting protocol does not completely protect the voting counter against impe...

متن کامل

“Every Vote Counts. Electronic Voting and Counting” Electronic Voting at Polling Stations Study Commission in the Netherlands

 Equal suffrage: Given the Dutch electoral system, each voter is permitted to cast one vote per election, which is counted once only in the counting of votes;  Accessibility: Voters must be given every opportunity to participate directly in the election process. If this is not possible, there must be an opportunity to participate indirectly by the granting of a proxy;  Transparency: The elec...

متن کامل

Schulze Voting as Evidence Carrying Computation

The correctness of vote counting in electronic election is one of the main pillars that engenders trust in electronic elections. However, the present state of the art in vote counting leaves much to be desired: while some jurisdictions publish the source code of vote counting code, others treat the code as commercial in confidence. None of the systems in use today applies any formal verificatio...

متن کامل

Analysing Vote Counting Algorithms via Logic - And Its Application to the CADE Election Scheme

We present a method for using first-order logic to specify the semantics of preferences as used in common vote counting algorithms. We also present a corresponding system that uses Celf linear-logic programs to describe voting algorithms and which generates explicit examples when the algorithm departs from its specification. When our method and system are applied to analyse the vote counting al...

متن کامل

Verification-Centric Realization of Electronic Vote Counting

Activist computer scientists, including some of the authors of this paper, have been working against the adoption by governments of commercial, proprietary, insecure, poorly designed and implemented voting systems the world-over. And, while we mainly work to accomplish our goals by educating citizens and communicating with the press, we also must propose solutions to the problems of trustworthy...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2005